The bounded arithmetic hierarchy
نویسندگان
چکیده
منابع مشابه
The Polynomial Hierarchy and Intuitionistic Bounded Arithmetic
Intuitionistic theories IS: of Bounded Arithmetic a re introduced and i t is shown tha t the definable functions of IS: a re precisely the 0: functions of the polvnomial hierarchy. This is an extension of earlier work on the classical Bounded Arithmetic and was first conjectured by S. Cook. In contrast t o the classical theories of Bounded b Arithmetic where Ci-definable functions are of intere...
متن کاملPartial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic
For any n, we construct a model of Tn 2 +¬exp in which each ∃sΠn+1 formula is equivalent to an ∃Πn formula. The central question in bounded arithmetic is whether there exists a model of the theory S2 in which the bounded formula hierarchy (or, in other words, the polynomial hierarchy) is infinite. However, it is also natural to ask whether there actually exists a model for S2, or at least for a...
متن کاملPolynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic
The complexity class of Πpk-polynomial local search (PLS) problems is introduced and is used to give new witnessing theorems for fragments of bounded arithmetic. For 1 ≤ i ≤ k + 1, the Σi -definable functions of T k+1 2 are characterized in terms of Π p k-PLS problems. These Π p kPLS problems can be defined in a weak base theory such as S 2 , and proved to be total in T k+1 2 . Furthermore, the...
متن کاملCuts and overspill properties in models of bounded arithmetic
In this paper we are concerned with cuts in models of Samuel Buss' theories of bounded arithmetic, i.e. theories like $S_{2}^i$ and $T_{2}^i$. In correspondence with polynomial induction, we consider a rather new notion of cut that we call p-cut. We also consider small cuts, i.e. cuts that are bounded above by a small element. We study the basic properties of p-cuts and small cuts. In particula...
متن کاملBounded Arithmetic vs
We often argue that a particular mathematical concept is important if it is natural, which means that it surfaces in many places with different origins and definitions, and robust, such that a variety of disparate formulations of it end up being equivalent or at least closely related. Likewise, the applicability, maturity, and importance of a body of results are greater when that field is found...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1978
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(78)90257-7